Ordinal arithmetic

Results: 131



#Item
11Mathematics / Algebra / Geometry / Wellfoundedness / Ordinal number / Constructible universe / Convex cone / Height / Hlder condition / Axiom of limitation of size

Introduction Results Maximal chains in second-order arithmetic Emanuele Frittaion

Add to Reading List

Source URL: www.math.tohoku.ac.jp

Language: English - Date: 2015-06-10 01:31:50
12Computability theory / Proof theory / Mathematical logic / Predicate logic / Logic in computer science / Primitive recursive functional / Reverse mathematics / Primitive recursive function / Primitive recursive arithmetic / First-order logic / Peano axioms / Ordinal analysis

On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2012-11-16 09:11:16
13Circuit complexity / NC / Constructible universe / Proof theory / Ordinal numbers / Probability distributions / Abstraction / Mathematics / CurryHoward correspondence / Ordinal arithmetic

Online Learning for Time Series Prediction Elad Hazan Shie Mannor Ohad Shamir

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2013-02-27 20:17:13
14Transcendental numbers / Circuit complexity / NC / Closed and exact differential forms / Constructible universe / Ordinal number / Ordinal arithmetic / Ostrowski numeration

On Cobham’s theorem for Gaussian integers Wieb Bosma∗, Robbert Fokkink, and Thijmen Krebs † June 2014

Add to Reading List

Source URL: www.math.ru.nl

Language: English - Date: 2014-10-29 10:35:56
15Algebra / Mathematics / Vectors / Abstract algebra / Linear algebra / Computational complexity theory / Parameterized complexity / Vector space / Euclidean vector / NC / Ordinal arithmetic

PDF Document

Add to Reading List

Source URL: fpt.akt.tu-berlin.de

Language: English - Date: 2015-01-29 04:45:02
16Diophantine approximation / Ordinal arithmetic / Curry–Howard correspondence / Mathematical analysis / Mathematics / Constructible universe

Notes on a paper of Ioannidis John D. Cook February 26, 2010 Abstract This note makes explicit a few calculations that are implicit in the essay Why Most Published Research Findings Are False by John

Add to Reading List

Source URL: www.johndcook.com

Language: English - Date: 2013-07-09 18:21:40
17Partial differential equations / Constructible universe / Free boundary problem / Harmonic function / Heat equation / Ordinal numbers / Sobolev spaces / Symbol / Ordinal arithmetic / Calculus / Mathematics / Mathematical analysis

THE DIRICHLET PROBLEM FOR THE FRACTIONAL LAPLACIAN: REGULARITY UP TO THE BOUNDARY XAVIER ROS-OTON AND JOAQUIM SERRA Abstract. We study the regularity up to the boundary of solutions to the Dirichlet problem for the fract

Add to Reading List

Source URL: www.ma.utexas.edu

Language: English - Date: 2014-08-14 13:37:58
18Entailment / Ordinal arithmetic / Differential geometry of curves / Logic / Deduction / Normal distribution

Turing’s unpublished algorithm for normal numbers Ver´onica Becher∗ Santiago Figueira∗

Add to Reading List

Source URL: www.glyc.dc.uba.ar

Language: English - Date: 2007-07-08 20:03:58
19Group theory / Number / Ordinal number / Linguistics / 0 / Mathematics / Elementary arithmetic / Numerals

JMS011Feb08.qxd:JMS011.qxd

Add to Reading List

Source URL: media.glnsrv.com

Language: English - Date: 2010-12-02 15:09:21
20Ordinal number / Mathematical logic / Automata theory / Ordinal arithmetic / Mathematics / Calculus / Continuous function

Total Variation Meets Topological Persistence: A First Encounter

Add to Reading List

Source URL: ddg.math.uni-goettingen.de

Language: English - Date: 2010-10-19 15:08:40
UPDATE